[next] [prev] [prev-tail] [tail] [up]

2.2.15 Integrals 1401 to 1500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 75 51 76 135 73 53 65

N.S.

1 1.00 0.93 0.63 0.94 1.67 0.90 0.65 0.80

time (sec)

N/A 0.208 0.043 2.443 0.288 0.226 0.087 0.290 1.190

Problem 1402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 84 56 86 155 83 58 75

N.S.

1 1.00 0.91 0.61 0.93 1.68 0.90 0.63 0.82

time (sec)

N/A 0.218 0.046 2.447 0.208 0.224 0.092 0.282 1.176

Problem 1403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 71 55 56 67 68 102 54

N.S.

1 1.00 0.93 0.72 0.74 0.88 0.89 1.34 0.71

time (sec)

N/A 0.201 0.032 2.469 0.236 0.219 0.055 0.280 0.052

Problem 1404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 66 50 51 62 61 93 49

N.S.

1 1.00 0.96 0.72 0.74 0.90 0.88 1.35 0.71

time (sec)

N/A 0.190 0.030 0.807 0.199 0.219 0.054 0.318 0.042

Problem 1405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 61 45 46 57 54 84 44

N.S.

1 1.00 0.98 0.73 0.74 0.92 0.87 1.35 0.71

time (sec)

N/A 0.185 0.029 0.802 0.207 0.216 0.051 0.282 0.039

Problem 1406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 54 40 41 52 48 75 39

N.S.

1 1.00 0.98 0.73 0.75 0.95 0.87 1.36 0.71

time (sec)

N/A 0.180 0.013 2.450 0.202 0.217 0.051 0.278 0.032

Problem 1407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 51 35 36 47 41 66 34

N.S.

1 1.00 1.06 0.73 0.75 0.98 0.85 1.38 0.71

time (sec)

N/A 0.172 0.028 2.454 0.204 0.215 0.048 0.305 0.029

Problem 1408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 44 30 31 42 34 57 29

N.S.

1 1.00 1.07 0.73 0.76 1.02 0.83 1.39 0.71

time (sec)

N/A 0.168 0.015 2.452 0.195 0.217 0.046 0.280 0.027

Problem 1409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 39 25 26 37 27 48 24

N.S.

1 1.00 1.15 0.74 0.76 1.09 0.79 1.41 0.71

time (sec)

N/A 0.159 0.010 2.449 0.204 0.227 0.042 0.284 0.032

Problem 1410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 36 28 29 45 31 47 25

N.S.

1 1.00 0.97 0.76 0.78 1.22 0.84 1.27 0.68

time (sec)

N/A 0.163 0.018 2.455 0.216 0.224 0.065 0.294 0.044

Problem 1411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 61 36 36 55 34 56 30

N.S.

1 1.00 1.42 0.84 0.84 1.28 0.79 1.30 0.70

time (sec)

N/A 0.172 0.022 0.802 0.195 0.219 0.072 0.275 0.055

Problem 1412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 47 44 46 75 41 49 36

N.S.

1 1.00 0.94 0.88 0.92 1.50 0.82 0.98 0.72

time (sec)

N/A 0.182 0.027 2.461 0.207 0.218 0.070 0.283 0.050

Problem 1413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 59 48 56 95 51 58 46

N.S.

1 1.00 1.04 0.84 0.98 1.67 0.89 1.02 0.81

time (sec)

N/A 0.192 0.023 2.464 0.216 0.216 0.077 0.290 1.359

Problem 1414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 70 53 66 115 61 67 56

N.S.

1 1.00 1.03 0.78 0.97 1.69 0.90 0.99 0.82

time (sec)

N/A 0.201 0.026 2.460 0.213 0.223 0.081 0.309 1.259

Problem 1415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 62 58 76 135 71 76 66

N.S.

1 1.00 0.83 0.77 1.01 1.80 0.95 1.01 0.88

time (sec)

N/A 0.212 0.042 2.451 0.220 0.223 0.090 0.288 0.047

Problem 1416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 90 63 86 155 82 85 76

N.S.

1 1.00 1.02 0.72 0.98 1.76 0.93 0.97 0.86

time (sec)

N/A 0.218 0.065 0.803 0.199 0.220 0.097 0.298 1.388

Problem 1417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 99 68 96 175 92 94 86

N.S.

1 1.00 1.02 0.70 0.99 1.80 0.95 0.97 0.89

time (sec)

N/A 0.240 0.072 2.463 0.208 0.215 0.101 0.303 1.227

Problem 1418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 76 62 66 82 76 62 62

N.S.

1 1.00 0.87 0.71 0.76 0.94 0.87 0.71 0.71

time (sec)

N/A 0.205 0.029 2.473 0.222 0.225 0.070 0.325 1.195

Problem 1419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 73 57 61 77 70 57 57

N.S.

1 1.00 0.91 0.71 0.76 0.96 0.88 0.71 0.71

time (sec)

N/A 0.205 0.034 0.814 0.225 0.221 0.065 0.293 0.043

Problem 1420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 68 52 56 72 63 52 52

N.S.

1 1.00 0.93 0.71 0.77 0.99 0.86 0.71 0.71

time (sec)

N/A 0.199 0.031 0.810 0.209 0.225 0.064 0.282 0.038

Problem 1421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 63 47 51 67 56 47 47

N.S.

1 1.00 0.95 0.71 0.77 1.02 0.85 0.71 0.71

time (sec)

N/A 0.189 0.031 0.812 0.219 0.217 0.059 0.302 0.034

Problem 1422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 56 42 46 62 49 42 42

N.S.

1 1.00 0.95 0.71 0.78 1.05 0.83 0.71 0.71

time (sec)

N/A 0.185 0.013 0.810 0.213 0.220 0.060 0.289 0.031

Problem 1423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 53 37 41 57 42 37 37

N.S.

1 1.00 1.02 0.71 0.79 1.10 0.81 0.71 0.71

time (sec)

N/A 0.179 0.028 2.481 0.235 0.223 0.065 0.273 0.030

Problem 1424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 46 32 36 52 36 32 32

N.S.

1 1.00 1.02 0.71 0.80 1.16 0.80 0.71 0.71

time (sec)

N/A 0.173 0.017 2.469 0.240 0.215 0.055 0.289 0.035

Problem 1425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 37 27 31 47 31 27 26

N.S.

1 1.00 0.97 0.71 0.82 1.24 0.82 0.71 0.68

time (sec)

N/A 0.164 0.015 2.472 0.248 0.219 0.049 0.279 1.363

Problem 1426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 44 32 36 55 36 33 29

N.S.

1 1.00 1.02 0.74 0.84 1.28 0.84 0.77 0.67

time (sec)

N/A 0.173 0.019 2.478 0.192 0.215 0.073 0.407 0.055

Problem 1427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 48 44 46 75 42 49 35

N.S.

1 1.00 0.96 0.88 0.92 1.50 0.84 0.98 0.70

time (sec)

N/A 0.185 0.022 2.484 0.207 0.226 0.071 0.555 0.046

Problem 1428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 59 48 56 95 53 48 45

N.S.

1 1.00 1.04 0.84 0.98 1.67 0.93 0.84 0.79

time (sec)

N/A 0.195 0.028 2.433 0.208 0.219 0.075 0.421 1.248

Problem 1429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 70 53 66 115 63 55 55

N.S.

1 1.00 1.03 0.78 0.97 1.69 0.93 0.81 0.81

time (sec)

N/A 0.203 0.025 2.480 0.250 0.214 0.086 0.424 1.217

Problem 1430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 77 58 76 135 73 76 65

N.S.

1 1.00 1.03 0.77 1.01 1.80 0.97 1.01 0.87

time (sec)

N/A 0.214 0.030 2.492 0.250 0.226 0.091 0.419 0.047

Problem 1431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 88 63 86 155 83 65 75

N.S.

1 1.00 1.02 0.73 1.00 1.80 0.97 0.76 0.87

time (sec)

N/A 0.225 0.053 2.487 0.244 0.224 0.101 0.406 0.049

Problem 1432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 99 68 96 175 94 70 85

N.S.

1 1.00 1.02 0.70 0.99 1.80 0.97 0.72 0.88

time (sec)

N/A 0.232 0.074 0.814 0.251 0.222 0.110 0.373 1.379

Problem 1433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 112 73 106 195 104 75 95

N.S.

1 1.00 1.02 0.66 0.96 1.77 0.95 0.68 0.86

time (sec)

N/A 0.243 0.076 2.486 0.221 0.222 0.111 0.384 1.247

Problem 1434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 57 51 52 52 70 53 50

N.S.

1 1.00 0.79 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.187 0.018 2.539 0.202 0.212 0.052 0.320 0.054

Problem 1435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 52 46 47 47 63 48 45

N.S.

1 1.00 0.80 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.184 0.015 0.817 0.203 0.220 0.051 0.327 0.042

Problem 1436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 47 41 42 42 56 43 40

N.S.

1 1.00 0.81 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.178 0.014 2.501 0.200 0.221 0.048 0.312 0.037

Problem 1437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 42 36 37 37 49 38 35

N.S.

1 1.00 0.82 0.71 0.73 0.73 0.96 0.75 0.69

time (sec)

N/A 0.173 0.013 2.511 0.196 0.221 0.046 0.272 0.032

Problem 1438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 37 31 32 32 42 33 30

N.S.

1 1.00 0.84 0.70 0.73 0.73 0.95 0.75 0.68

time (sec)

N/A 0.166 0.013 2.548 0.227 0.215 0.044 0.314 0.029

Problem 1439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 32 26 27 27 36 28 25

N.S.

1 1.00 0.86 0.70 0.73 0.73 0.97 0.76 0.68

time (sec)

N/A 0.162 0.012 2.488 0.205 0.217 0.041 0.296 0.027

Problem 1440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 27 21 22 22 29 23 20

N.S.

1 1.00 0.90 0.70 0.73 0.73 0.97 0.77 0.67

time (sec)

N/A 0.156 0.009 2.487 0.213 0.218 0.039 0.278 0.033

Problem 1441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 22 16 17 17 22 18 15

N.S.

1 1.00 0.96 0.70 0.74 0.74 0.96 0.78 0.65

time (sec)

N/A 0.152 0.005 2.470 0.205 0.214 0.035 0.281 0.030

Problem 1442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 17 11 12 12 15 13 10

N.S.

1 1.00 1.06 0.69 0.75 0.75 0.94 0.81 0.62

time (sec)

N/A 0.144 0.003 0.792 0.197 0.219 0.032 0.263 0.028

Problem 1443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 14 17 17 19 19 13

N.S.

1 1.00 1.00 0.67 0.81 0.81 0.90 0.90 0.62

time (sec)

N/A 0.152 0.006 2.030 0.196 0.224 0.052 0.269 0.078

Problem 1444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 30 25 26 37 26 25 16

N.S.

1 1.00 0.94 0.78 0.81 1.16 0.81 0.78 0.50

time (sec)

N/A 0.163 0.013 2.482 0.187 0.226 0.055 0.263 0.041

Problem 1445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 35 32 36 55 34 33 26

N.S.

1 1.00 0.81 0.74 0.84 1.28 0.79 0.77 0.60

time (sec)

N/A 0.173 0.015 2.496 0.201 0.226 0.067 0.267 0.046

Problem 1446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 40 36 46 75 44 38 36

N.S.

1 1.00 0.74 0.67 0.85 1.39 0.81 0.70 0.67

time (sec)

N/A 0.182 0.018 2.499 0.195 0.218 0.072 0.260 0.045

Problem 1447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 45 41 56 95 54 52 46

N.S.

1 1.00 0.69 0.63 0.86 1.46 0.83 0.80 0.71

time (sec)

N/A 0.191 0.023 2.501 0.209 0.213 0.074 0.267 0.046

Problem 1448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 50 46 66 115 65 48 56

N.S.

1 1.00 0.66 0.61 0.87 1.51 0.86 0.63 0.74

time (sec)

N/A 0.198 0.026 2.496 0.210 0.221 0.086 0.277 1.405

Problem 1449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 55 51 76 135 75 53 66

N.S.

1 1.00 0.63 0.59 0.87 1.55 0.86 0.61 0.76

time (sec)

N/A 0.206 0.029 2.497 0.239 0.233 0.086 0.259 1.254

Problem 1450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 60 56 86 155 85 58 76

N.S.

1 1.00 0.61 0.57 0.88 1.58 0.87 0.59 0.78

time (sec)

N/A 0.211 0.033 2.499 0.206 0.216 0.098 0.285 0.050

Problem 1451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 62 56 57 57 76 58 55

N.S.

1 1.00 0.78 0.71 0.72 0.72 0.96 0.73 0.70

time (sec)

N/A 0.195 0.012 2.555 0.221 0.219 0.055 0.301 0.061

Problem 1452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 75 51 52 52 70 53 50

N.S.

1 1.00 1.04 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.190 0.015 0.827 0.212 0.219 0.053 0.292 0.050

Problem 1453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 52 46 47 47 63 48 45

N.S.

1 1.00 0.80 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.192 0.013 0.845 0.224 0.220 0.052 0.264 0.043

Problem 1454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 47 41 42 42 56 43 40

N.S.

1 1.00 0.81 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.178 0.013 0.815 0.238 0.215 0.050 0.264 0.035

Problem 1455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 42 36 37 37 49 38 35

N.S.

1 1.00 0.82 0.71 0.73 0.73 0.96 0.75 0.69

time (sec)

N/A 0.173 0.010 2.516 0.258 0.216 0.048 0.274 0.032

Problem 1456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 37 31 32 32 42 33 30

N.S.

1 1.00 0.84 0.70 0.73 0.73 0.95 0.75 0.68

time (sec)

N/A 0.177 0.013 2.487 0.244 0.222 0.046 0.283 0.029

Problem 1457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 32 26 27 27 36 28 25

N.S.

1 1.00 0.86 0.70 0.73 0.73 0.97 0.76 0.68

time (sec)

N/A 0.161 0.012 2.515 0.234 0.213 0.042 0.272 0.028

Problem 1458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 27 21 22 22 29 23 20

N.S.

1 1.00 0.90 0.70 0.73 0.73 0.97 0.77 0.67

time (sec)

N/A 0.157 0.014 2.502 0.222 0.210 0.039 0.275 0.033

Problem 1459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 25 16 17 17 22 18 15

N.S.

1 1.00 1.09 0.70 0.74 0.74 0.96 0.78 0.65

time (sec)

N/A 0.155 0.009 2.502 0.207 0.223 0.037 0.273 0.026

Problem 1460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 32 17 20 20 22 22 16

N.S.

1 1.00 1.23 0.65 0.77 0.77 0.85 0.85 0.62

time (sec)

N/A 0.154 0.015 2.509 0.211 0.219 0.057 0.277 1.322

Problem 1461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 30 25 26 37 27 43 22

N.S.

1 1.00 0.94 0.78 0.81 1.16 0.84 1.34 0.69

time (sec)

N/A 0.160 0.018 2.514 0.194 0.221 0.066 0.261 0.085

Problem 1462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 35 32 36 55 36 33 25

N.S.

1 1.00 0.81 0.74 0.84 1.28 0.84 0.77 0.58

time (sec)

N/A 0.168 0.019 2.515 0.195 0.217 0.071 0.279 0.063

Problem 1463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 40 36 46 75 44 38 36

N.S.

1 1.00 0.74 0.67 0.85 1.39 0.81 0.70 0.67

time (sec)

N/A 0.180 0.019 2.522 0.202 0.214 0.087 0.261 0.102

Problem 1464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 47 41 56 95 54 52 46

N.S.

1 1.00 0.72 0.63 0.86 1.46 0.83 0.80 0.71

time (sec)

N/A 0.188 0.029 2.513 0.202 0.216 0.079 0.273 1.272

Problem 1465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 52 46 66 115 65 48 56

N.S.

1 1.00 0.68 0.61 0.87 1.51 0.86 0.63 0.74

time (sec)

N/A 0.196 0.039 2.527 0.199 0.234 0.087 0.267 1.252

Problem 1466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 57 51 76 135 75 53 66

N.S.

1 1.00 0.66 0.59 0.87 1.55 0.86 0.61 0.76

time (sec)

N/A 0.207 0.040 2.525 0.203 0.221 0.094 0.271 1.219

Problem 1467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 62 56 86 155 85 58 76

N.S.

1 1.00 0.63 0.57 0.88 1.58 0.87 0.59 0.78

time (sec)

N/A 0.212 0.046 2.508 0.195 0.220 0.101 0.277 0.047

Problem 1468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 82 56 57 57 76 58 55

N.S.

1 1.00 1.04 0.71 0.72 0.72 0.96 0.73 0.70

time (sec)

N/A 0.195 0.021 2.530 0.200 0.217 0.056 0.259 0.061

Problem 1469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 75 51 52 52 70 53 50

N.S.

1 1.00 1.04 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.193 0.015 0.846 0.214 0.212 0.053 0.261 0.050

Problem 1470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 68 46 47 47 63 48 45

N.S.

1 1.00 1.05 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.181 0.016 0.830 0.200 0.223 0.053 0.271 0.058

Problem 1471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 47 41 42 42 56 43 40

N.S.

1 1.00 0.81 0.71 0.72 0.72 0.97 0.74 0.69

time (sec)

N/A 0.184 0.015 0.830 0.202 0.218 0.049 0.265 0.049

Problem 1472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 42 36 37 37 49 38 35

N.S.

1 1.00 0.82 0.71 0.73 0.73 0.96 0.75 0.69

time (sec)

N/A 0.176 0.010 3.339 0.208 0.224 0.046 0.273 0.050

Problem 1473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 37 31 32 32 42 33 30

N.S.

1 1.00 0.84 0.70 0.73 0.73 0.95 0.75 0.68

time (sec)

N/A 0.172 0.013 0.820 0.214 0.223 0.044 0.284 0.046

Problem 1474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 32 26 27 27 36 28 25

N.S.

1 1.00 0.86 0.70 0.73 0.73 0.97 0.76 0.68

time (sec)

N/A 0.163 0.012 2.523 0.197 0.217 0.041 0.267 0.069

Problem 1475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 21 22 22 29 23 20

N.S.

1 1.00 1.00 0.70 0.73 0.73 0.97 0.77 0.67

time (sec)

N/A 0.154 0.009 2.514 0.205 0.214 0.037 0.268 0.032

Problem 1476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 35 22 25 25 31 27 21

N.S.

1 1.00 1.06 0.67 0.76 0.76 0.94 0.82 0.64

time (sec)

N/A 0.160 0.016 2.530 0.201 0.215 0.061 0.274 1.198

Problem 1477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 28 29 45 31 47 23

N.S.

1 1.00 1.00 0.76 0.78 1.22 0.84 1.27 0.62

time (sec)

N/A 0.163 0.023 2.537 0.211 0.218 0.068 0.257 1.193

Problem 1478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 35 32 36 55 36 33 30

N.S.

1 1.00 0.81 0.74 0.84 1.28 0.84 0.77 0.70

time (sec)

N/A 0.168 0.027 2.543 0.194 0.215 0.090 0.275 1.207

Problem 1479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 40 36 46 75 46 38 35

N.S.

1 1.00 0.74 0.67 0.85 1.39 0.85 0.70 0.65

time (sec)

N/A 0.178 0.022 2.508 0.207 0.220 0.077 0.282 1.363

Problem 1480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 47 41 56 95 54 52 46

N.S.

1 1.00 0.72 0.63 0.86 1.46 0.83 0.80 0.71

time (sec)

N/A 0.194 0.037 2.544 0.214 0.220 0.082 0.274 0.046

Problem 1481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 52 46 66 115 65 48 56

N.S.

1 1.00 0.68 0.61 0.87 1.51 0.86 0.63 0.74

time (sec)

N/A 0.202 0.041 2.541 0.194 0.219 0.087 0.266 0.047

Problem 1482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 57 51 76 135 75 53 66

N.S.

1 1.00 0.66 0.59 0.87 1.55 0.86 0.61 0.76

time (sec)

N/A 0.207 0.034 3.318 0.211 0.220 0.093 0.278 1.242

Problem 1483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 62 56 86 155 85 58 76

N.S.

1 1.00 0.63 0.57 0.88 1.58 0.87 0.59 0.78

time (sec)

N/A 0.213 0.051 0.826 0.200 0.224 0.110 0.268 0.049

Problem 1484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 99 151 161 207 0 163 109

N.S.

1 1.00 0.95 1.45 1.55 1.99 0.00 1.57 1.05

time (sec)

N/A 0.295 0.076 2.602 0.203 0.287 0.000 0.284 1.927

Problem 1485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 62 47 50 50 63 52 46

N.S.

1 1.00 0.91 0.69 0.74 0.74 0.93 0.76 0.68

time (sec)

N/A 0.196 0.032 0.828 0.192 0.218 0.068 0.272 0.060

Problem 1486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 58 42 45 45 56 47 41

N.S.

1 1.00 0.95 0.69 0.74 0.74 0.92 0.77 0.67

time (sec)

N/A 0.181 0.020 2.547 0.193 0.221 0.069 0.262 0.059

Problem 1487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 50 37 40 40 49 42 36

N.S.

1 1.00 0.93 0.69 0.74 0.74 0.91 0.78 0.67

time (sec)

N/A 0.181 0.016 2.547 0.208 0.211 0.064 0.267 1.420

Problem 1488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 45 32 35 35 42 37 31

N.S.

1 1.00 0.96 0.68 0.74 0.74 0.89 0.79 0.66

time (sec)

N/A 0.174 0.014 2.547 0.204 0.229 0.073 0.265 1.543

Problem 1489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 43 27 30 30 36 32 26

N.S.

1 1.00 1.08 0.68 0.75 0.75 0.90 0.80 0.65

time (sec)

N/A 0.170 0.024 2.552 0.215 0.221 0.061 0.274 0.042

Problem 1490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 35 22 25 25 29 27 21

N.S.

1 1.00 1.06 0.67 0.76 0.76 0.88 0.82 0.64

time (sec)

N/A 0.161 0.022 2.527 0.212 0.213 0.058 0.278 1.382

Problem 1491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 31 17 20 20 22 22 16

N.S.

1 1.00 1.19 0.65 0.77 0.77 0.85 0.85 0.62

time (sec)

N/A 0.159 0.010 2.552 0.205 0.216 0.057 0.270 0.047

Problem 1492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 14 17 17 17 19 13

N.S.

1 1.00 1.00 0.67 0.81 0.81 0.81 0.90 0.62

time (sec)

N/A 0.153 0.005 2.551 0.199 0.217 0.066 0.275 1.454

Problem 1493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 14 17 17 15 19 16

N.S.

1 1.00 1.00 0.67 0.81 0.81 0.71 0.90 0.76

time (sec)

N/A 0.136 0.012 0.817 0.211 0.218 0.045 0.269 0.132

Problem 1494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 20 25 25 29 28 19

N.S.

1 1.00 1.00 0.65 0.81 0.81 0.94 0.90 0.61

time (sec)

N/A 0.158 0.009 2.559 0.213 0.227 0.070 0.273 1.259

Problem 1495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 38 33 34 50 36 40 26

N.S.

1 1.00 0.90 0.79 0.81 1.19 0.86 0.95 0.62

time (sec)

N/A 0.172 0.021 2.555 0.202 0.223 0.080 0.265 1.393

Problem 1496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 49 40 44 73 46 42 35

N.S.

1 1.00 0.92 0.75 0.83 1.38 0.87 0.79 0.66

time (sec)

N/A 0.181 0.023 2.535 0.201 0.224 0.093 0.280 0.045

Problem 1497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 50 44 54 98 56 47 45

N.S.

1 1.00 0.78 0.69 0.84 1.53 0.88 0.73 0.70

time (sec)

N/A 0.193 0.041 2.561 0.203 0.231 0.098 0.280 0.048

Problem 1498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 55 49 64 123 66 67 55

N.S.

1 1.00 0.73 0.65 0.85 1.64 0.88 0.89 0.73

time (sec)

N/A 0.201 0.053 2.556 0.198 0.224 0.108 0.269 1.250

Problem 1499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 60 54 74 148 76 57 65

N.S.

1 1.00 0.70 0.63 0.86 1.72 0.88 0.66 0.76

time (sec)

N/A 0.211 0.063 2.569 0.208 0.224 0.116 0.258 0.050

Problem 1500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 97 59 84 173 87 62 75

N.S.

1 1.00 1.00 0.61 0.87 1.78 0.90 0.64 0.77

time (sec)

N/A 0.223 0.056 2.553 0.198 0.238 0.123 0.270 1.421

[next] [prev] [prev-tail] [front] [up]